Puffing/micro-explosion in composite multi-component droplets

Multi-perspective compact explosion diagrams

This article presents a system to automatically generate compact explosion diagrams. Inspired by handmade illustrations, our approach reduces the complexity of an explosion diagram by rendering an exploded view only for a suitable subset of the assemblies of an object. However, the exploded views are chosen so that they allow inferring the remaining unexploded assemblies of the entire 3D model....

Fighting the State Explosion Problem in Component Protocols

Title: Fighting the state explosion problem in component protocols Author: Viliam Holub email: [email protected] phone: +420 2 2191 4235 Department: Department of Software Engineering Faculty of Mathematics and Physics Charles University in Prague, Czech Republic Advisor: Prof. Ing. Frantǐsek Plášil, DrSc. email: [email protected] phone: +420 2 2191 4266 Mailing address (both Author ...

Multi-Component Efficiency with Shared Resources in Commercial Banks

Hydrodynamics of Leidenfrost droplets in one-component fluids.

Using the dynamic van der Waals theory [Phys. Rev. E 75, 036304 (2007)], we numerically investigate the hydrodynamics of Leidenfrost droplets under gravity in two dimensions. Some recent theoretical predictions and experimental observations are confirmed in our simulations. A Leidenfrost droplet larger than a critical size is shown to be unstable and break up into smaller droplets due to the Ra...

Correctness of Model-based Component Composition without State Explosion

We present a methodology for designing component-based systems and verifying their temporal behavior properties. Our verification method is mostly automatic, and is not susceptible to the well-known state-explosion problem, which has hitherto severely limited the practical applicability of automatic verification methods. Our method specifies the externally visible behavior of each component as ...